Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
731	DIAMOND: Diagrammatic Reasoning System Demonstration Add to Reading List Source URL: www.aaai.org Language: English - Date: 2011-12-06 15:48:36 Automated theorem proving Reasoning Proof theory Mathematical logic Deduction Mathematical proof Diagrammatic reasoning Reasoning system Proof Logic Science Mathematics
732	PDF Document Add to Reading List Source URL: reason.cs.uiuc.edu Language: English - Date: 2005-05-13 21:20:23 Predicate logic Ontology Automated theorem proving Reasoning Programming paradigms Cyc First-order logic Inference Predicate variable Logic Science Mathematics
733	PDF Document Add to Reading List Source URL: ijcai.org Language: English - Date: 2008-09-30 05:18:37 Mathematical logic Diagrams Automated theorem proving Reasoning Mathematical proof Diagrammatic reasoning Theorem Diagram Logic Mathematics Science
734	PDF Document Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2001-03-30 15:59:53 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem GRASP Unit propagation Resolution Theoretical computer science Mathematics Mathematical logic
735	PDF Document Add to Reading List Source URL: www.intellektik.de Language: English - Date: 2009-05-12 06:53:25 Mathematics Proof theory Metalogic Resolution First-order logic Davis–Putnam algorithm Logic programming John Alan Robinson Substitution Logic Mathematical logic Automated theorem proving
736	PDF Document Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-05-28 11:06:43 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem DPLL algorithm Davis–Putnam algorithm Conjunctive normal form Theoretical computer science Mathematics Applied mathematics
737	PDF Document Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-10-15 05:36:10 Automated theorem proving Boolean algebra Constraint programming Logic in computer science Propositional calculus DPLL algorithm Boolean satisfiability problem Satisfiability Modulo Theories Unit propagation Theoretical computer science Mathematical logic Mathematics
738	PDF Document Add to Reading List Source URL: www.inferenzsysteme.informatik.tu-darmstadt.de Language: English - Date: 2013-10-07 14:40:42 Mathematics Predicate logic Logic programming Rules of inference Resolution Clause First-order logic Higher-order logic Unit propagation Logic Mathematical logic Automated theorem proving
739	PDF Document Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2009-02-26 12:09:14 Automated theorem proving Propositional calculus Condensed detachment Axiom Mathematical proof Theorem Substitution Logic Mathematics Mathematical logic
740	PDF Document Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Theoretical computer science Rules of inference Formal methods Method of analytic tableaux Lambda calculus Unification Calculus Semantic reasoner Mathematical logic Mathematics Logic

UPDATE